Results for 'Emil Kring Lauridsen'

937 found
Order:
  1.  16
    The History of Astatic Magnet Systems and Suspensions.Emil Kring Lauridsen & Niels Abrahamsen - 1998 - Centaurus 40 (2):135-169.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  3. The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  4.  21
    A preregistered replication of motivated numeracy.Emil Persson, David Andersson, Lina Koppel, Daniel Västfjäll & Gustav Tinghög - 2021 - Cognition 214 (C):104768.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  73
    (1 other version)Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  6.  48
    Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
    We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  7.  30
    Iterated multiplication in VTC0 VTC ^0 V T C 0.Emil Jeřábek - 2022 - Archive for Mathematical Logic 61 (5):705-767.
    We show that \, the basic theory of bounded arithmetic corresponding to the complexity class \, proves the \ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the \ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, \ can also prove the integer division axiom, and the \-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories \ and \. As a side (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  15
    Die Lehre vom Urteil (Classic Reprint).Emil Lask (ed.) - 2017 - Forgotten Books.
    Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  23
    Rorty’s Humanism.Emil Višňovský - 2020 - European Journal of Pragmatism and American Philosophy 12 (1).
    There have been few attempts thus far to read Rorty through a humanistic lens. This paper is an attempt at making explicit some of the key features of his conception. My main objective is to show that humanism is integral to his philosophy and to explain what it consists in. I focus on Rorty’s secular humanism, which I believe lies at the center of his thought. In sections 2 and 3, I provide an account of key humanist sources, both pragmatist (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  40
    Imitation, Sign Language Skill and the Developmental Ease of Language Understanding Model.Emil Holmer, Mikael Heimann & Mary Rudner - 2016 - Frontiers in Psychology 7.
  11.  85
    The legal philosophies of Lask, Radbruch, and Dabin.Emil Lask, Gustav Radbruch, Jean Dabin & Kurt Wilk (eds.) - 1950 - Cambridge,: Harvard University Press.
  12.  35
    Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
  13.  41
    Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
    By a well-known result of Cook and Reckhow [S.A. Cook, R.A. Reckhow, The relative efficiency of propositional proof systems, Journal of Symbolic Logic 44 36–50; R.A. Reckhow, On the lengths of proofs in the propositional calculus, Ph.D. Thesis, Department of Computer Science, University of Toronto, 1976], all Frege systems for the classical propositional calculus are polynomially equivalent. Mints and Kojevnikov [G. Mints, A. Kojevnikov, Intuitionistic Frege systems are polynomially equivalent, Zapiski Nauchnyh Seminarov POMI 316 129–146] have recently shown p-equivalence of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  26
    Open induction in a bounded arithmetic for TC0.Emil Jeřábek - 2015 - Archive for Mathematical Logic 54 (3-4):359-394.
    The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}+,,{+,\cdot,\le}\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  34
    The Sources of Religious Insight.Emil C. Wilm & Josiah Royce - 1913 - Philosophical Review 22 (2):229.
  16. Approximate counting by hashing in bounded arithmetic.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (3):829-860.
    We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  28
    Erinnerungen an Franz Brentano.Emil Utitz - 1959 - Zeitschrift für Philosophische Forschung 13 (1):102 - 110.
  18.  59
    A sorting network in bounded arithmetic.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):341-355.
    We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theory , under the assumption of the existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  5
    Les Fondements Philosophiques des systèmes économiques: et essais en son honneur.Emil Maria Claassen & Jacques Rueff - 1967 - Payot.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. The Holocaust and Philosophy.Emil L. Fackenheim - 1985 - Journal of Philosophy 82 (10):505.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  17
    Induction rules in bounded arithmetic.Emil Jeřábek - 2020 - Archive for Mathematical Logic 59 (3-4):461-501.
    We study variants of Buss’s theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on \ induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems and \ of a new form), results on numbers of instances of the axioms or rules, connections to reflection principles for quantified propositional calculi, and separations between the systems.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Gesammelte Schriften.Emil Lask & Eugen Herrigel - 1924 - Annalen der Philosophie Und Philosophischen Kritik 4 (1):9-10.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  23. The History of the Jewish People in the Age of Jesus Christ.Emil Schüssler Schürer, G. Vermes Millar & M. Goodman - 1986
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  24.  31
    In Search of a New Pragmatist Anthropology.Emil Višňovský - 2020 - European Journal of Pragmatism and American Philosophy 12 (2).
    1. Introduction The influence of Richard Rorty has not faded since his demise more than a decade ago. Some of his works have been published posthumously (Rorty 2010; Rorty 2016), others have been republished in valuable collections (Voparil & Bernstein 2010; Rorty 2014) and some of his unpublished work has already appeared too (Małecki & Voparil 2020). Important international symposia have been held around the world (see e.g. Penelas & Voparil 2014) and the Richard Rorty Society (RSS) was fou...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Autonomy, Community, and the Justification of Public Reason.Andersson Emil - 2023 - Canadian Journal of Philosophy 53 (4):336-350.
    Recently, there have been attempts at offering new justifications of the Rawlsian idea of public reason. Blain Neufeld has suggested that the ideal of political autonomy justifies public reason, while R.J. Leland and Han van Wietmarschen have sought to justify the idea by appealing to the value of political community. In this paper, I show that both proposals are vulnerable to a common problem. In realistic circumstances, they will often turn into reasons to oppose, rather than support, public reason. However, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  6
    Hermann Cohen - after fifty years.Emil L. Fackenheim - 1969 - Leo Baeck Institute.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Fichtes idealismus und die geschichte.Emil Lask (ed.) - 1914 - Tübingen,: Mohr.
    Einleitung. Die logik des wertens in der geschichtsphilosophie des deutschen idealismus.--Die logischen voraussetzungen von Kants und Hegels rationalismus und die einordnung Fichtes in den entwicklungsgang der deutschen spekulation.--Fichtes rationalismus und die irrationalität des empirischen.--Fichtes geschichtsphilosophie.
     
    Export citation  
     
    Bookmark   3 citations  
  28.  27
    The university as a philosophical problem.Emil Višňovský - 2019 - Human Affairs 29 (2):235-246.
    The paper provides a philosophical insight into the contemporary critical trends in the university life, and an outline of possible solutions based on the historical overview of an idea of university. The particular section is devoted to the depiction of situation in Slovakia. The author suggests that the creative reconstruction of academic practices is the key to the future of university.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  31
    On the Actuality of the Rational and the Rationality of the Actual.Emil L. Fackenheim - 1970 - Review of Metaphysics 23 (4):690 - 698.
    IN THE PREFACE to his Philosophy of Right Hegel writes: "Was vernünftig ist, das ist wirklich; und was wirklich ist, das ist vernünftig"--"What is rational is actual, and what is actual is rational." In paragraph 6 of the third edition of his Encyclopedia of Philosophical Sciences he repeats this statement verbatim, calling it "simple." Few interpreters, however, have ever found it so. Even friendly critics are baffled; hostile ones dismiss it as either scandalous or senseless. Two centuries after Hegel's birth (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  31
    Die Lehre des Anaxagoras vom Geist und der Seele.Emil Arleth - 1895 - Archiv für Geschichte der Philosophie 8 (1):59-86.
  31. Uber naturwissenschaftliche Hypothesen.Emil Koch - 1907 - Philosophical Review 16:101.
     
    Export citation  
     
    Bookmark   2 citations  
  32.  9
    The Depoliticization of the Liberal Arts.Emil Oestereicher - 1982 - Social Research: An International Quarterly 49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  17
    Hegel and Pragmatism: A Sketch of Continuity.Emil Višňovský - 2023 - Filozofia 78 (9):783-795.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  21
    Humanizing Philosophy.Emil Višňovský - 2023 - Common Knowledge 29 (1):72-85.
    In this contribution to the Common Knowledge symposium on Richard Rorty, the author attempts to identify what he calls “the heart of Rortyism.” Beginning with Rorty's query, as an undergraduate, about “what, if anything, philosophy is good for,” Višňovský associates this question, as Rorty did throughout his career, with the question of the meaning of human life. On the basis of this association—the association of a seriously, consistently pursued metaphilosophy with a defense of humanity against all comers, including theology and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  12
    3 Kant and Radical Evil.Emil L. Fackenheim - 2005 - In Predrag Cicovacki (ed.), Destined for evil?: the twentieth-century responses. Rochester, NY: University of Rochester Press. pp. 59-74.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  24
    Pragmatist Empiricism (Towards a Conception of Human Being).Emil Višňovský - 2023 - Human Affairs 33 (2):197-209.
    The paper discusses the relation of philosophical pragmatism to empiricism as the backdrop to understanding human being. The crux of the problem is the relation between language and experience. The author argues that pragmatist empiricism is based on the concept that human practices are transactions, which includes both non-linguistic as well as linguistic practices. Within pragmatist anthropological philosophy, experience is a complex of transactions between humans and reality. Humans are both natural/physical and cultural/linguistic beings, whose living experience involves transactions with (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  8
    SCHWERPUNKT Die Macht des Verzeihens.Emil Angehrn - 2023 - Allgemeine Zeitschrift für Philosophie 48 (3):337-354.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  29
    On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.
  39.  13
    Herders Humanitätsidee.Emil Adler - 1964 - Deutsche Zeitschrift für Philosophie 12 (4).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Herder und die deutsche Aufklärung.Emil Adler - 1968 - Z"urich,: Europa Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Elämän kauneus.Emil Alttius - 1923 - Chicago,: Carlen & Jonsson, printers.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  13
    Die Entstehung der Metaphysik – Zur Rekonstruktion eines Denkwegs.Emil Angehrn - 2016 - In Gerhard Krieger (ed.), Die "Metaphysik" des Aristoteles Im Mittelalter: Rezeption Und Transformation. De Gruyter. pp. 23-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  20
    Die Ontologie des Politischen bei Platon und Aristoteles.Emil Angehm - 1994 - Perspektiven der Philosophie 20:83-107.
  44.  48
    Die Ontologie des Politischen bei Piaton und Aristoteles (Fortsetzung) Teil 2.Emil Angehrn - 1995 - Perspektiven der Philosophie 21:11-44.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Freiheit und System bei Hegel.Emil Angehrn - 1977. - Studies in Soviet Thought 20 (4):381-381.
     
    Export citation  
     
    Bookmark   1 citation  
  46. Geschichte und Identität.Emil Angehrn - 1988 - Revue Philosophique de la France Et de l'Etranger 178 (1):99-99.
     
    Export citation  
     
    Bookmark  
  47.  14
    Geschichte und Identität.Emil Angehrn - 1985 - New York: De Gruyter.
  48.  7
    Hermeneutik des Lebens.Emil Angehrn - 2023 - In Sebastian Hüsch & Oliver Victor (eds.), Das Konzept ‚Leben‘ in der Geschichte der Philosophie | Le concept de,vie‘ dans l’histoire de la philosophie. Ergon – ein Verlag in der Nomos Verlagsgesellschaft. pp. 237-250.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    Negativistische Hermeneutik. Zur Dialektik von Sinn und Nichtsinn.Emil Angehrn - 2009 - In Andreas Hetzel (ed.), Negativität Und Unbestimmtheit: Beiträge Zu Einer Philosophie des Nichtwissens. Festschrift Für Gerhard Gamm. Transcript Verlag. pp. 21-40.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Religion als Kontingenzbewältigung?Emil Angehrn - 1987 - Philosophische Rundschau 34:282.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 937